State Machine(비교)

 r1 vs r2
 ...
 == 구성 요소 ==
 === 상태 정의 - enum ===
-{{{#!syntax solidity
+{{{
 enum Stage {
     Created,
     Bidding,
 ...
 내부적으로 {{{uint8}}}로 저장된다. 정의되지 않은 값으로의 캐스팅은 revert된다. (Solidity 0.8+)[*4 Solidity Documentation. [[https://docs.soliditylang.org/en/latest/types.html#enums|Enums]]. docs.soliditylang.org.]
 === 상태 검증 - modifier ===
-{{{#!syntax solidity
+{{{
 modifier atStage(Stage expected) {
     require(currentStage == expected, "Invalid stage");
     _;
 ...
 === 전이 함수 ===
 '''선형 전이''' - 순서대로만 진행:
-{{{#!syntax solidity
+{{{
 function nextStage() internal {
     currentStage = Stage(uint(currentStage) + 1);
 }
 }}}
 '''명시적 전이''' - 허용된 경로만:
-{{{#!syntax solidity
+{{{
 function transitionTo(Stage next) internal {
     require(allowedTransitions[currentStage][next]);
     currentStage = next;
 ...
 === 시간 기반 전이 - timedTransition ===
 블록체인에는 cron이 없으므로 다음 트랜잭션 호출 시 시간 경과를 검사한다.[*5 Solidity Documentation. [[https://docs.soliditylang.org/en/latest/common-patterns.html#state-machine|Common Patterns: State Machine]]. docs.soliditylang.org.]
-{{{#!syntax solidity
+{{{
 modifier timedTransition() {
     if (currentStage == Stage.Bidding
         && block.timestamp >= createdAt + BIDDING_DURATION)
 ...
 }}}
 === 이벤트 ===
-{{{#!syntax solidity
+{{{
 event StageChanged(Stage indexed from, Stage indexed to, address indexed triggeredBy);
 }}}
 ...
 === 비선형 전이 - 전이 테이블 ===
 분기·복귀가 있는 워크플로우에서 사용한다. 허용된 전이를 mapping으로 정의한다.[*1]
-{{{#!syntax solidity
+{{{
 mapping(Stage => mapping(Stage => bool)) private allowedTransitions;
 constructor() {
 ...
 === 비트마스크 최적화 ===
 이중 mapping은 검증당 SLOAD 2회가 필요하다. 비트마스크를 사용하면 SLOAD 1회 + 비트 연산으로 줄일 수 있다.[*6 Ethereum Yellow Paper. [[https://ethereum.github.io/yellowpaper/paper.pdf|Ethereum: A Secure Decentralised Generalised Transaction Ledger]]. Appendix G. Fee Schedule.]
-{{{#!syntax solidity
+{{{
 mapping(Stage => uint8) private transitionMap;
 // AwaitingPayment -> Funded(bit 1) 허용
 ...
  * [[Checks-Effects-Interactions 패턴]] - 상태 변경 후 외부 호출. State Machine의 전이 보안에 필수적이다.
  * [[Pull over Push 패턴]] - {{{withdraw()}}} 패턴. 상태 전이와 자금 인출을 분리하여 안전성을 높인다.
 == 관련 문서 ==
  * [[블록체인]]
  * [[스마트 컨트랙트]]
  * [[Solidity]]
  * [[이더리움]]
  * [[유한 상태 기계]]
  * [[디자인 패턴]]